Interpreting Classical Theories in Constructive Ones
نویسنده
چکیده
A number of classical theories are interpreted in analogous theories that are based on intuitionistic logic. The classical theories considered include subsystems of firstand second-order arithmetic, bounded arithmetic, and admissible set theory.
منابع مشابه
Forcing in proof theory
Paul Cohen’s method of forcing, together with Saul Kripke’s related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mathematical logic, from set theory and model theory to constructive and categorical logic. Here, I argue that forcing also has a place in traditional Hilbert-style proof theory, where the goal is to formalize portions of ordinary ...
متن کاملConstructive Set Theories and their Category-theoretic Models
We advocate a pragmatic approach to constructive set theory, using axioms based solely on set-theoretic principles that are directly relevant to (constructive) mathematical practice. Following this approach, we present theories ranging in power from weaker predicative theories to stronger impredicative ones. The theories we consider all have sound and complete classes of category-theoretic mode...
متن کاملAnother Reduction of Classical Id Ν to Constructive Id
One of the major problems in reductive proof theory in the early 1970s was to give a proof-theoretic reduction of classical theories of iterated arithmetical inductive definitions to corresponding constructive systems. This problem was solved in [BFPS] in various ways which all where based on the method of cut-elimination (normalization, reps.) for infinitary Tait-style sequent calculi (infinit...
متن کاملChoice principles in constructive and classical set theories
The objective of this paper is to assay several forms of the axiom of choice that have been deemed constructive. In addition to their deductive relationships, the paper will be concerned with metamathematical properties effected by these choice principles and also with some of their classical models.
متن کاملA Brief Introduction to Algebraic Set Theory
This brief article is intended to introduce the reader to the field of algebraic set theory, in which models of set theory of a new and fascinating kind are determined algebraically. The method is quite robust, applying to various classical, intuitionistic, and constructive set theories. Under this scheme some familiar set theoretic properties are related to algebraic ones, while others result ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 65 شماره
صفحات -
تاریخ انتشار 2000